\begin{definition}
Java是一种跨平台的编程语言。
\end{definition}
